#include "bruteforcebinding.h"

#include "../arc.h"
#include "../expression.h"
#include "../expressions/expressioncommon.h"
#include "../place.h"
#include "binding.h"

using namespace wfnet;

const uint BruteForceBinding::ITERATIONS = 100;

BruteForceBinding::BruteForceBinding() : IBindingAlgorithm()
{

}

BruteForceBinding::~BruteForceBinding()
{

}

bool BruteForceBinding::bind(Binding& binding,
    const core::BasicTime& globalClock,
    core::BasicTime& proposedGlobalClock,
    const QSet<const Arc* >& inputArcs,
    const Transition* transition) const
{
    // TODO : implement this horrifying piece of algorithm

    // precondition - at least one of arcs's expr must be a SIMPLE_VAR_ONLY

    Q_ASSERT(false); // not implemented

    return false;
}
